A Topology for Galois Types in AECs
نویسندگان
چکیده
We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We exhibit a number of natural correspondences between the model-theoretic properties of classes and their constituent models and the topological properties of the associated spaces. Tameness of Galois types, in particular, emerges as a topological separation principle.
منابع مشابه
Infinitary stability theory
We introduce a new device in the study of abstract elementary classes (AECs): Galois Morleyization, which consists in expanding the models of the class with a relation for every Galois (orbital) type of length less than a fixed cardinal κ. We show: Theorem 0.1 (The semantic-syntactic correspondence). An AEC K is fully (< κ)-tame and type short if and only if Galois types are syntactic in the Ga...
متن کاملLascar Types and Lascar Automorphisms in Abstract Elementary Classes
We study Lascar strong types and Galois types and especially their relation to notions of type which have finite character. We define a notion of a strong type with finite character, so called Lascar type. We show that this notion is stronger than Galois type over countable sets in simple and superstable finitary AECs. Furthermore we give and example where the Galois type itself does not have f...
متن کاملShelah’s Omitting Types Theorem in Excruciating Detail
We aim to prove Shelah’s Omitting Types Theorem for AECs [Sh394, Lemma 8.7] in detail. The proofs in [Bal09, Theorem 14.8] and [MaSh285, Proposition 3.3] are only special cases, with [MaSh285] being a very helpful guide. We’ve introduced a slight generalization (allowing the Mα’s to be different models, rather than just one), but this is standard. Sebastien Vasey initially pointed this result o...
متن کاملWeak forms of elimination of imaginaries
We study the degree of elimination of imaginaries needed for the three main applications: to have canonical bases for types over models, to define strong types as types over algebraically closed sets and to have a Galois correspondence between definably closed sets B such that A ⊆ B ⊆ acl(A) and closed subgroups of the Galois group Aut(acl(A)/A). We also characterize when the topology of the Ga...
متن کاملSymmetry in abstract elementary classes with amalgamation
This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the nonelementary setting of abstract elementary classes (AECs). An abstract elementary class is a semantic generalization of the class of models of a complete first order theory with the elementary substructure relation. We examine the symmetry property of splitting (previously isolat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009